#include "types.h"
#include "riscv.h" // 使用riscv.h前要include types.h, 否则报`error: unknown type name 'uint64'`

// Must be called with interrupts disabled,
// to prevent race with process being moved
// to a different CPU.
int
cpuid()
{
  int id = r_tp();
  return id;
}
